Computer assisted manipulation of algebraic process specifications
نویسندگان
چکیده
منابع مشابه
the impact of computer-assisted language learning on achievement motivation of high school students
چکیده انگیزه دلیل اصلی رفتارهای ما است. به نظر می رسد انگیزه جزء جدایی ناپذیر فرایند یادگیری باشد. ارزش ذاتی موفقیت تمایل به پیشرفت را در یادگیرنده ایجاد میکند. به عبارت ساده این تمایل انگیزه پیشرفت نامیده میشود. انگیزه پیشرفت را میتوان در احساس یادگیرنده هنگام چالش با درس های مدرسه، لذت انجام فعالیت درسی، یا حس کشف پاسخ مشاهده کرد.حتی ممکن است انگیزه پیشرفت را در تلاش یادگیرنده برای جلب تایید...
Computer-assisted Studies in Algebraic Combinatorics
The main objective of the thesis is to develop and evaluate a variety of computer-aided experimental methods that yield insight for discovering and proving theorems in combinatorics. We contribute to the methodology of the “creativity spiral” paradigm. We present nine studies, most of which rely on replacing equivalence of discrete structures by a finite group action. Throughout the thesis we m...
متن کاملSynthesizing Concurrency Control Components from Process Algebraic Specifications
Process algebraic specifications can provide useful support for the architectural design of software systems due to the possibility of analyzing their properties. In addition to that, such specifications can be exploited to guide the generation of code. What is needed at this level is a general methodology that accompanies the translation process, which in particular should help understanding w...
متن کاملConcepts for computer assisted engineering process management
This paper presents concepts for computer aided support of engineering processes. We briefly discuss the basic tenets of the engineering enterprise and fundamental design and analysis techniques. Then, process modeling definitions are given and extended to encompass engineering process capture. An architecture is introduced that comprises executive, coordination, and execution layers, intended ...
متن کاملComponent Based Algebraic Specifications
The rapid adoption of Internet/Intranet technologies has led to an explosive increase in demand for the construction of reliable distributed systems. To meet this important technical challenge, new technologies such as component based software engineering, software architecture[17] and design patterns, attract many software researchers and engineers. Moreover, several standardization activities...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM SIGPLAN Notices
سال: 2002
ISSN: 0362-1340,1558-1160
DOI: 10.1145/636517.636531